User - friendly process algebra compiler
نویسندگان
چکیده
While the technologies for generation of electronic signatures are well-established in public-key infrastructures, the validation of electronic signatures still shows some open problems. The verification of the validity of an electronic signature requires high degrees of diligence, time and effort for the local configuration and management of trusted certificates and their revocation status. A Signature Validation Portal should be designed and implemented which enables the effective verification of the validity of (qualified) certificates issued within several public-key infrastructures. It manages a collection of trusted (root) certificates and responds to validation requests by building and validating a path of certificates in due consideration of their current revocation status. Organization: DFKI Contact: Roland Vogt !"#$%&'()*+%,"-%&".$*/.(&%,*
منابع مشابه
Two Steps Towards Automating Efficient Solution of Inverse Problems
We have combined symbolic mathematics with code generation to create a user–friendly environment for specifying finite element methods. The motivation behind this approach is to automate the boring and error-prone task of implementing variational forms of PDEs, which is a cornerstone when developing finite element simulators. By employing a symbolic engine in a high–level language we allow the ...
متن کاملAn Intelligent Approach to Enhance the Help Messages for a Compiler - an Expert System
The traditional approaches used for the development of expert systems are mainly based on the interaction between the knowledge engineer and domain expert .However, the role of user in development process has been undetermined. This paper represents the problem of the users which are not familiar with compiler, at the time of execution of source code. The source code have specific piece of info...
متن کاملInteractive and Modular Optimization with InterPol
We present an interactive and modular optimization tool, InterPol. It aims to help users with various tasks in the incremental program optimization process. InterPol ooers the capability to build a compiler from user-selected automatic optimization modules and run it on selective regions of a program, allowing a highly versatile, yet friendly way to achieve good performance.
متن کاملA Flexible XML-based Regular Compiler for Creation and Conversion of Linguistic Resources
Finite-state devices are widely used to compactly model linguistic phenomena, whereas regular expressions are regarded as the adequate level of abstraction for thinking about finite-state languages. In this paper we present a flexible XML-based and Unicodecompatible regular compiler for creating, and integrating existing linguistic resources. Our tool provides user-friendly graphical interface ...
متن کاملThe Concurrency Factory Software Development Environment
The Concurrency Factory is an integrated toolset for speciication, simulation , veriication, and implementation of real-time concurrent systems such as communication protocols and process control systems. Two themes central to the project are the following: the use of process algebra, e.g., CCS, ACP, CSP, as the underlying formal model of computation, and the provision of practical support for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010